More from this Author

The Optimal Implementation of Functional Programming Languages

by Andrea Asperti, Stefano Guerrini, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), J. V. Tucker (Contribution by), J. V. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)

Categories, Types, and Structures

by Andrea Asperti, Giuseppe Longo